Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
901	Expressive Power of Cost Logics over Infinite Words Denis Kuperberg1 Michael Vanden Boom2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Mathematics Computer science Star height Alphabet Regular language Formal languages Automata theory Theoretical computer science
902	Big Data Certificates New Size Add to Reading List Source URL: kx.com Language: English - Date: 2014-05-07 12:07:12 Information technology management APL programming language family Array programming languages Formal sciences Database theory K Q Database Analytics Data management Computing Database management systems
903	T DW I r e s e a r c h T DW I Check l is t Re p o rt how to gain insight from text Add to Reading List Source URL: www.sas.com Language: English - Date: 2014-08-27 01:55:03 Data analysis Natural language processing Statistical natural language processing Formal sciences Analytics Text mining Text analytics Data mining Predictive analytics Statistics Science Business intelligence
904	Quasi-Weak Cost Functions A New Variant of Weakness Achim Blumensath1 Thomas Colcombet2 Denis Kuperberg3 Christof L¨oding4 Pawel Parys3 Michael Vanden Boom5 1 TU Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-04-30 05:09:51 Formal languages Computer science Nondeterministic finite automaton Finite-state machine Regular language Ω-automaton Automata theory Models of computation Theoretical computer science
905	Automata theory Regular Cost Functions Formalisms on finite words Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-22 04:28:13 Mathematics Applied mathematics Regular language Aperiodic monoid Star-free language Finite-state machine Krohn–Rhodes theory Deterministic pushdown automaton Automata theory Formal languages Theoretical computer science
906	A. Significance The overarching goal of NIH patient-oriented work on aphasia is to develop treatments that can help patients improve their communicative use of language. These improvements may focus on either the formal Add to Reading List Source URL: talkbank.org Language: English - Date: 2011-10-24 15:38:37 Neurology Neurological disorders Communication disorders Language disorders Corpora Nominal aphasia Receptive aphasia Aphasia Agrammatism Linguistics Medicine Human communication
907	Open Research Online The Open University’s repository of research publications and other research outputs Automating generation of textual class definitions from OWL to English Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2013-04-28 21:08:56 Science Knowledge engineering Knowledge representation Technical communication Web Ontology Language OBO Foundry Formal ontology Semantic reasoner Type theory Ontology Semantic Web Information
908	An automaton model for forest algebras. Antoine Delignat-Lavaud An automaton model for Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-31 10:20:39 Formal languages Algebra Mathematics Category theory Algebraic structures Syntactic monoid Regular language Monoid Monad Abstract algebra Automata theory Semigroup theory
909	Language Implementation Patterns Add to Reading List Source URL: www.r-5.org Language: English - Date: 2014-12-10 09:36:56 Compiler construction Formal languages Parsing Parser generators ANTLR LL parser Recursive descent parser LR parser Compiler Programming language implementation Software Computing
910	A Haskell Library for Term Rewriting Bertram Felgenhauer1 , Martin Avanzini1 and Christian Sternagel2 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 11:14:24 Formal languages Logic in computer science Computability theory Mathematical logic Rewriting Critical pair Unification Confluence Monad Theoretical computer science Programming language theory Applied mathematics

UPDATE